$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $<$ $j$) $\Rightarrow$ ($i$ $\leq$ $j$)